\catcode `@=11
\gdef \chaplab@readin {\def \@chap {1}\def \@page {1}}
\gdef \sectlab@pure {\def \@sect {1}\def \@chap {1}\def \@page {1}}
\gdef \sectlab@atoms {\def \@sect {2}\def \@chap {1}\def \@page {5}}
\gdef \figlab@fiia {\def \@foo {1}\def \@sect {2}\def \@chap {1}\def \@page {6}}
\gdef \sectlab@lists {\def \@sect {3}\def \@chap {1}\def \@page {6}}
\gdef \figlab@fi {\def \@foo {1}\def \@sect {3}\def \@chap {1}\def \@page {7}}
\gdef \figlab@fii {\def \@foo {2}\def \@sect {3}\def \@chap {1}\def \@page {7}}
\gdef \sectlab@listsexp {\def \@sect {4}\def \@chap {1}\def \@page {8}}
\gdef \sectlab@liststruc {\def \@sect {5}\def \@chap {1}\def \@page {10}}
\gdef \figlab@fiii {\def \@foo {1}\def \@sect {5}\def \@chap {1}\def \@page {11}}
\gdef \figlab@fiv {\def \@foo {2}\def \@sect {5}\def \@chap {1}\def \@page {12}}
\gdef \sectlab@equality {\def \@sect {6}\def \@chap {1}\def \@page {13}}
\gdef \sectlab@functions {\def \@sect {7}\def \@chap {1}\def \@page {14}}
\gdef \sectlab@internal {\def \@sect {8}\def \@chap {1}\def \@page {15}}
\gdef \sectlab@terms {\def \@sect {9}\def \@chap {1}\def \@page {18}}
\gdef \figlab@ti {\def \@foo {1}\def \@sect {9}\def \@chap {1}\def \@page {18}}
\gdef \sectlab@numbers {\def \@sect {10}\def \@chap {1}\def \@page {18}}
\gdef \funlab@length {\def \@foo {1}\def \@sect {10}\def \@chap {1}\def \@page {19}}
\gdef \funlab@mksum {\def \@foo {2}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@mkprod {\def \@foo {2}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@sump {\def \@foo {3}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@prodp {\def \@foo {3}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@varp {\def \@foo {3}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@lookup {\def \@foo {3}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@arglist {\def \@foo {3}\def \@sect {10}\def \@chap {1}\def \@page {21}}
\gdef \funlab@assoc {\def \@foo {4}\def \@sect {10}\def \@chap {1}\def \@page {22}}
\gdef \funlab@numval {\def \@foo {5}\def \@sect {10}\def \@chap {1}\def \@page {22}}
\gdef \funlab@sumval {\def \@foo {6}\def \@sect {10}\def \@chap {1}\def \@page {22}}
\gdef \funlab@prodval {\def \@foo {6}\def \@sect {10}\def \@chap {1}\def \@page {22}}
\gdef \sectlab@lambda {\def \@sect {11}\def \@chap {1}\def \@page {22}}
\gdef \funlab@mapcar {\def \@foo {1}\def \@sect {11}\def \@chap {1}\def \@page {23}}
\gdef \funlab@maplist {\def \@foo {2}\def \@sect {11}\def \@chap {1}\def \@page {24}}
\gdef \funlab@diff {\def \@foo {3}\def \@sect {11}\def \@chap {1}\def \@page {24}}
\gdef \funlab@andlis {\def \@foo {4}\def \@sect {11}\def \@chap {1}\def \@page {25}}
\gdef \funlab@orlis {\def \@foo {4}\def \@sect {11}\def \@chap {1}\def \@page {25}}
\gdef \sectlab@evaluator {\def \@sect {12}\def \@chap {1}\def \@page {26}}
\gdef \sectlab@dumpreadin {\def \@sect {12}\def \@chap {1}\def \@page {33}}
\catcode `@=12